Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
271	A Hierarchical Framework for Composing Nested Web Processes Haibo Zhao and Prashant Doshi LSDIS Lab., Department of Computer Science University of Georgia Athens, GA 30602 Add to Reading List Source URL: lsdis.cs.uga.edu Language: English - Date: 2006-09-28 22:41:39 Models of computation Automata theory Finite-state machine Markov decision process Business Process Execution Language FO Markov chain Group action Ergodic theory Statistics Markov processes Theoretical computer science
272	Human-Machine Hybrid Computation Position paper for CHI 2011 Workshop On Crowdsourcing And Human Computation Alexander J. Quinn Benjamin B. Bederson Human-Computer Interaction Lab Computer Science Department Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:48 Artificial intelligence Computing Natural language processing Speech recognition Human–computer interaction Machine translation Algorithm Automation Amazon Mechanical Turk Computational linguistics Science Human-based computation
273	Using Games to Create Language Resources: Successes and Limitations of the Approach Chamberlain, J., Fort, K., Kruschwitz, U., Lafourcade, M. and Poesio, M. Abstract One of the more novel approaches to collaboratively cr Add to Reading List Source URL: www.jonchamberlain.com Language: English - Date: 2013-10-24 07:41:31 Social information processing Science Linguistics Data collection Human-based computation game Crowdsourcing ESP game Natural language processing Page Hunt Human-based computation Collective intelligence Computational linguistics
274	Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation MASSIMO POESIO, JON CHAMBERLAIN, and UDO KRUSCHWITZ, University of Essex LIVIO ROBALDO, University of Turin LUCA DUCCESCH Add to Reading List Source URL: www.jonchamberlain.com Language: English - Date: 2013-10-24 07:41:36 Human-based computation Applied linguistics Data collection Human-based computation game Semantics Word-sense disambiguation Treebank Annotation International Corpus of English Linguistics Science Computational linguistics
275	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski1 , Amal Ahmed2 , Greg Morrisett1 , and Lars Birkedal3 1 2 Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Formal methods Models of computation Functional languages Program logic Hoare logic Lambda calculus Type system Function Programming language theory Mathematics Software engineering
276	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Greg Morrisett Harvard University Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Models of computation Programming language semantics Formal methods Denotational semantics Separation logic Hoare logic Lambda calculus Mathematical logic Theoretical computer science Logic
277	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2001; 13:1153–1171 (DOI: [removed]cpe.596) Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:48 Cross-platform software Java virtual machine Java Classloader Java Computing Java platform Java programming language
278	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-12-13 13:15:40 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science
279	Quantiers in TIME and SPACE Computational Complexity of Generalized Quantiers in Natural Language Jakub Szymanik Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-03-21 08:58:36 Science Mathematical logic Institute for Logic Language and Computation Computational complexity theory Complexity Algorithm Descriptive complexity theory EXPTIME P Applied mathematics Complexity classes Mathematics
280	Using intrinsic complexity of turn-taking games to predict participants’ reaction times Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Ben Meijering (b Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-19 07:51:46 Mathematics Backward induction Solution concept Reason Extensive-form game Minimax Inductive reasoning Marble Cognitive science Game theory Science Knowledge

UPDATE